Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
نویسندگان
چکیده
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie in two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.
منابع مشابه
A Systematics of Deontic Action Logics Based on Boolean Algebra
Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced...
متن کاملAutomated Reasoning over Deontic Action Logics with Finite Vocabularies
In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae. This allows us to embrace parallel execution of actions and action complement, two action operators that may present difficulties in their treatment. One of the restrictions of this ...
متن کاملA Deontic Action Logic with Sequential Composition of Actions
We start our investigations from the deontic action model defined in multi-situation settings. Then we discuss the validity of formulas constructed in a language with a finite number of basic actions, parallel and sequential compositions of actions, a free choice operator and the standard deontic operators of obligation, strong permission and prohibition. The main achievements of the paper are ...
متن کاملTowards a First-Order Deontic Action Logic
In this article we describe a first-order extension of the deontic logic introduced in [1]. The main useful and interesting characteristic of this extended logic is that it not only provides the standard quantifiers of first-order logic, but it also has similar algebraic operators for actions as for the propositional version of [1]. Since the pioneering works of Hintikka and Kanger, little adva...
متن کاملCombining deontic and action logics for collective agency
. In this paper we address the problem of collective norms, and discuss two action logics for that purpose. The first action logic is based on the action modality Ei, where expressions of the form Eip are read as ‘agent brings about (sees to it) that ’. This operator relates an agent with the effects of his action, and abstracts away details of the specific actions. We will show that this abstr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010